منابع مشابه
The Principles of Fuzzy Logic: Its Mathematical and Computational Aspects
2 Vagueness, Uncertainty and Fuzzy Logic 2 2.1 Vagueness and Uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.2 Vagueness and Fuzzy Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.3 What Is Fuzzy Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.4 Agenda of Fuzzy Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملAspects of Mathematical Morphology
In this paper we review the basic concepts of integral-geometry-based morphological image analysis. This approach yields an objective, numerical characterization of twoand threedimensional patterns in terms of geometrical and topological descriptors called Minkowski functionals. We review its mathematical foundation and show that it is easy to put the theory into practice by presenting simple c...
متن کاملMathematical Logic
First of all, I would like to thank my supervisor, Petř Stěpánek, for showing me the fascinating world of mathematical logic and for his advice and many helpful comments on earlier drafts of this Thesis. Furthermore, I would like to thank Petr Horsk´y for numerous discussions on software verification and on this Thesis. Last but not least, I would like to thank Josef Urban for his advice he gav...
متن کاملMathematical Logic
We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K , where K is the core model below a μ-measurable cardinal. 1. Homogeneously Souslin sets In this paper we shall deal with homogeneously Souslin sets of reals, or rather with sets of reals which admit an ω-closed embedding normal form. Definition 1.1. (Cf. [4, p. 92].) Let...
متن کاملMathematical Logic
When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certain border. We call pretype of a module the set of partitions over its border induced by Danos-Regnier switchings. The type of a module is then defined as the double orthogonal of its pretype. This is an optimal notion describing the behaviour of a module: two modules behave in the same way precise...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1941
ISSN: 0028-0836,1476-4687
DOI: 10.1038/148396a0